Mathematical logics

Synonyms for "mathematical logics" (10 found)

Ranked by relevance and common usage.

Adjective(2 words)

axiomaticcomputational logic

Adjective(3 words)

Adjective(5 words)

formal reasoninglogic of mathematicsrigor theoreticaltheoretical logic

OpenGloss and ConceptNet supply richer edges like generalizations, collocations, and derivations.

5 relation types

5 entries

7 entries

automated theorem provingcomputational logicfirst order logicmodal logicmodel checkingproof theorypropositional logic

9 entries

axiomatic systemcomputational logicfirst order logicformal logicmathematical logicmodal logicmodel theoryproof theorypropositional logic

2 entries

more mathematical logicsmost mathematical logics

1 entries